kw.\*:("Modèle Compagnon")
Results 1 to 5 of 5
Selection :
Finitely generic models of TUH, for certain model companionable theories TPOINT, F.The Journal of symbolic logic. 1985, Vol 50, Num 3, pp 604-610, issn 0022-4812Article
MODEL COMPANIONS OF DISTRIBUTIVE P-ALGEBRASSCHMID J.1982; J. SYMB. LOGIC; ISSN 0022-4812; USA; DA. 1982; VOL. 47; NO 3; PP. 680-688; BIBL. 14 REF.Article
Modèle-compagnons de théories de corps munis de n ordres = Model-companions of theories of fields with n orderingsLASLANDES, B.Comptes rendus de l'Académie des sciences. Série 1, Mathématique. 1985, Vol 300, Num 13, pp 411-414, issn 0764-4442Article
Théorie des modèles des corps N-ordonnés = Model theory of N-ordered fieldsLASLANDES, Bruno.1984, [82] pThesis
Simulation des circuits non linéaires. I: Présentation d'algorithmes élémentaires = Simulation of non-linear circuits: Past one: Presentation of basic algorithmsANDREU, D; MAY, J.-P; RAKOTOARIVELO et al.Onde électrique. 1990, Vol 70, Num 1, pp 54-64, issn 0030-2430Conference Paper